Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 20, 23, 24, 25, 26, 27, 28, 29, 30, 32, 36, 37, 38, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 64, 65, 66, 67, 68, 73, 74, 75, 76, 77, 84, 85, 86, 87, 88, 94, 95, 96, 97, 98, 103, 104, 105, 106, 107, 114, 115, 116, 117, 118, 119, 121, 123, 125, 127, 129, 131, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 177, 178, 179, 182, 186, 187, 188, 189, 190, 194, 196, 198, 202, 204, 206, 210, 212, 217, 219, 221, 222, 223, 224, 225, 226, 227, 228, 230, 236, 237, 238, 239, 240, 247, 248, 249, 251, 252, 258, 259, 260, 262, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 295, 297, 300, 306, 307, 309, 311, 313, 315, 317, 319, 321, 322, 324, 326, 328, 330, 332, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 362, 363, 364, 365, 366, 369, 370, 371, 374, 375, 376, 377, 378, 379, 380, 383, 384, 385, 386 }

B grade: { 173, 183, 184, 304, 354, 381, 382 }

C grade: { 10, 12, 14, 15, 16, 17, 18, 19, 21, 22, 31, 33, 34, 35, 39, 40, 41, 59, 60, 61, 62, 63, 69, 70, 71, 72, 78, 79, 80, 81, 82, 83, 89, 90, 91, 92, 93, 99, 100, 101, 102, 108, 109, 110, 111, 112, 113, 120, 122, 124, 126, 128, 130, 132, 174, 175, 176, 180, 181, 185, 191, 192, 193, 195, 197, 199, 200, 201, 203, 205, 207, 208, 209, 211, 213, 214, 215, 216, 218, 220, 229, 231, 232, 233, 234, 235, 241, 242, 243, 244, 245, 246, 250, 253, 254, 255, 256, 257, 261, 263, 264, 265, 266, 267, 268, 269, 270, 292, 294, 296, 298, 299, 301, 302, 303, 305, 308, 310, 312, 314, 316, 318, 320, 323, 325, 327, 329, 331, 333, 355, 356, 357, 358, 359, 360, 367, 368, 372, 373, 387 }

F grade: { 361}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 57, 58, 59, 67, 68, 76, 77, 78, 79, 87, 88, 97, 98, 99, 106, 107, 125, 127, 129, 131, 134, 135, 136, 137, 163, 195, 196, 197, 198, 204, 205, 206, 210, 211, 212, 213, 216, 217, 218, 219, 220, 221, 226, 227, 228, 229, 236, 237, 238, 239, 241, 242, 243, 245, 246, 247, 248, 249, 250, 253, 257, 258, 259, 260, 261, 295, 297, 304, 306, 313, 319, 321, 324, 326, 330, 332, 334, 353, 365, 376 }

B grade: { 56, 60, 61, 62, 63, 66, 69, 70, 71, 72, 75, 80, 81, 82, 83, 86, 89, 90, 91, 92, 93, 96, 100, 101, 102, 105, 108, 109, 110, 111, 112, 113, 114, 116, 118, 121, 123, 133, 138, 231, 232, 233, 234, 235, 244, 254, 255, 256, 263, 264, 265, 266, 267, 268, 269, 270 }

C grade: { 52, 54, 55, 64, 65, 73, 74, 84, 85, 94, 95, 103, 104, 115, 117, 119, 120, 122, 124, 126, 128, 130, 132, 139, 140, 141, 142, 143, 144, 164, 165, 177, 178, 179, 191, 192, 193, 194, 199, 200, 201, 202, 203, 207, 208, 209, 214, 215, 230, 240, 251, 252, 262, 291, 292, 293, 294, 296, 298, 299, 300, 301, 302, 303, 305, 307, 308, 309, 310, 311, 312, 314, 315, 316, 317, 318, 320, 322, 323, 325, 327, 328, 329, 331, 333, 351, 352, 377, 378 }

F grade: { 23, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 222, 223, 224, 225, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 56, 57, 58, 66, 67, 68, 75, 76, 77, 86, 87, 88, 96, 97, 98, 105, 106, 107, 163, 164, 165, 177, 178, 179, 226, 227, 228, 236, 237, 238, 247, 248, 249, 258, 259, 260, 351, 352, 353, 376, 377, 378

B grade: { }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 23, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 59, 60, 61, 62, 63, 64, 65, 69, 70, 71, 72, 73, 74, 78, 79, 80, 81, 82, 83, 84, 85, 89, 90, 91, 92, 93, 94, 95, 99, 100, 101, 102, 103, 104, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 229, 230, 231, 232, 233, 234, 235, 239, 240, 241, 242, 243, 244, 245, 246, 250, 251, 252, 253, 254, 255, 256, 257, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 19, 20, 24, 25, 26, 27, 28, 29, 36, 37, 38, 39, 40, 41, 52, 57, 58, 66, 67, 68, 76, 77, 87, 88, 114, 116, 121, 123, 127, 134, 135, 163, 164, 165, 177, 178, 179, 226, 227, 236, 237, 247, 248, 258, 259, 295, 297, 306, 319, 321, 324, 326, 332, 334, 351, 352, 353, 363, 364, 365, 376, 377, 378 }

B grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 56, 75, 86, 96, 97, 98, 105, 106, 107, 118, 125, 129, 131, 133, 136, 137, 138, 191, 192, 193, 194, 199, 200, 201, 202, 203, 207, 208, 209, 214, 215, 228, 229, 238, 239, 249, 250, 260, 261, 291, 293, 300, 302, 304, 307, 309, 311, 313, 315, 317, 322, 328, 330 }

C grade: { }

F grade: { 23, 30, 31, 32, 33, 34, 35, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 54, 55, 59, 60, 61, 62, 63, 64, 65, 69, 70, 71, 72, 73, 74, 78, 79, 80, 81, 82, 83, 84, 85, 89, 90, 91, 92, 93, 94, 95, 99, 100, 101, 102, 103, 104, 108, 109, 110, 111, 112, 113, 115, 117, 119, 120, 122, 124, 126, 128, 130, 132, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 195, 196, 197, 198, 204, 205, 206, 210, 211, 212, 213, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 230, 231, 232, 233, 234, 235, 240, 241, 242, 243, 244, 245, 246, 251, 252, 253, 254, 255, 256, 257, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 294, 296, 298, 299, 301, 303, 305, 308, 310, 312, 314, 316, 318, 320, 323, 325, 327, 329, 331, 333, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 354, 355, 356, 357, 358, 359, 360, 361, 362, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 295, 319, 324, 353, 376 }

B grade: { }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 320, 321, 322, 323, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.7 Giac

A grade: { 1, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 30, 31, 32, 33, 39, 40, 41, 75, 84, 85, 86, 87, 88, 94, 95, 96, 97, 98, 103, 104, 105, 106, 107, 163, 226, 227, 228, 229, 230, 247, 248, 249, 250, 251, 252, 258, 259, 260, 261, 262 }

B grade: { 2, 3, 4, 5, 6, 7, 8, 27, 28, 29, 36, 37, 38 }

C grade: { }

F grade: { 9, 10, 11, 23, 34, 35, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 76, 77, 78, 79, 80, 81, 82, 83, 89, 90, 91, 92, 93, 99, 100, 101, 102, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 253, 254, 255, 256, 257, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 17 15 49 19 18
normalized size 1 1. 1. 1.42 1.25 4.08 1.58 1.5
time (sec) N/A 0.004 0.008 0.002 2.503 1.729 0.139 1.709


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 23 24 24 34 15 305
normalized size 1 1. 1.64 1.71 1.71 2.43 1.07 21.79
time (sec) N/A 0.008 0.006 0.003 1.381 1.899 0.169 1.593


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 25 31 42 73 32 332
normalized size 1 1. 0.93 1.15 1.56 2.7 1.19 12.3
time (sec) N/A 0.011 0.024 0.003 0.872 1.776 0.212 1.93


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 38 35 39 66 27 790
normalized size 1 1. 1.36 1.25 1.39 2.36 0.96 28.21
time (sec) N/A 0.015 0.011 0.003 2.726 1.8 0.29 2.381


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 37 44 73 101 44 691
normalized size 1 1. 0.86 1.02 1.7 2.35 1.02 16.07
time (sec) N/A 0.02 0.046 0.003 1.571 1.753 0.441 2.639


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 53 50 55 99 39 1335
normalized size 1 1. 1.2 1.14 1.25 2.25 0.89 30.34
time (sec) N/A 0.025 0.015 0.003 1.865 1.537 0.637 4.191


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 47 57 100 131 56 1094
normalized size 1 1. 0.82 1. 1.75 2.3 0.98 19.19
time (sec) N/A 0.027 0.099 0.003 0.945 1.523 0.92 10.313


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 68 61 69 132 51 1945
normalized size 1 1. 1.17 1.05 1.19 2.28 0.88 33.53
time (sec) N/A 0.03 0.011 0.003 1.408 1.509 1.215 9.255


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 175 200 0 1520 0 0
normalized size 1 1. 0.75 0.86 0. 6.55 0. 0.
time (sec) N/A 0.196 0.36 0.028 0. 1.747 0. 0.


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 40 182 0 1521 0 0
normalized size 1 1. 0.19 0.86 0. 7.17 0. 0.
time (sec) N/A 0.145 0.068 0.015 0. 1.718 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 159 176 0 1328 0 0
normalized size 1 1. 0.76 0.84 0. 6.32 0. 0.
time (sec) N/A 0.151 0.16 0.015 0. 1.696 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 40 160 0 1283 0 251
normalized size 1 1. 0.21 0.83 0. 6.68 0. 1.31
time (sec) N/A 0.121 0.041 0.018 0. 1.7 0. 1.739


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 131 166 0 1339 0 251
normalized size 1 1. 0.68 0.86 0. 6.97 0. 1.31
time (sec) N/A 0.121 0.1 0.018 0. 1.675 0. 2.483


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 38 184 0 1693 0 275
normalized size 1 1. 0.18 0.87 0. 7.99 0. 1.3
time (sec) N/A 0.146 0.065 0.016 0. 1.77 0. 1.577


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 40 184 0 1717 0 288
normalized size 1 1. 0.19 0.86 0. 8.02 0. 1.35
time (sec) N/A 0.15 0.081 0.017 0. 1.824 0. 1.484


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 40 202 0 1985 0 313
normalized size 1 1. 0.17 0.86 0. 8.48 0. 1.34
time (sec) N/A 0.181 0.103 0.019 0. 1.779 0. 1.506


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 38 215 0 1481 0 282
normalized size 1 1. 0.16 0.88 0. 6.09 0. 1.16
time (sec) N/A 0.418 0.027 0.086 0. 1.455 0. 1.411


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 40 202 0 1445 0 282
normalized size 1 1. 0.18 0.9 0. 6.45 0. 1.26
time (sec) N/A 0.394 0.049 0.051 0. 1.526 0. 1.448


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 40 114 166 358 0 171
normalized size 1 1. 0.31 0.87 1.27 2.73 0. 1.31
time (sec) N/A 0.104 0.04 0.015 1.445 1.347 0. 1.428


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 100 114 167 898 0 173
normalized size 1 1. 0.76 0.87 1.27 6.85 0. 1.32
time (sec) N/A 0.1 0.133 0.013 1.424 1.387 0. 1.358


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 38 211 0 1494 0 282
normalized size 1 1. 0.17 0.94 0. 6.67 0. 1.26
time (sec) N/A 0.326 0.028 0.04 0. 1.603 0. 1.347


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 38 227 0 1852 0 306
normalized size 1 1. 0.16 0.93 0. 7.56 0. 1.25
time (sec) N/A 0.436 0.059 0.042 0. 1.749 0. 1.588


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 53 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.042 0.438 0. 0. 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 56 58 63 180 0 74
normalized size 1 1. 0.57 0.59 0.64 1.84 0. 0.76
time (sec) N/A 0.042 0.376 0.033 1.564 1.292 0. 1.589


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 47 48 46 135 0 55
normalized size 1 1. 0.77 0.79 0.75 2.21 0. 0.9
time (sec) N/A 0.028 0.115 0.019 1.498 1.371 0. 1.512


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 37 26 100 0 35
normalized size 1 1. 1. 1.16 0.81 3.12 0. 1.09
time (sec) N/A 0.017 0.039 0.026 1.577 1.322 0. 1.443


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 39 45 45 119 0 109
normalized size 1 1. 1.26 1.45 1.45 3.84 0. 3.52
time (sec) N/A 0.016 0.084 0.025 1.612 1.312 0. 1.62


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 56 63 62 177 0 281
normalized size 1 1. 0.85 0.95 0.94 2.68 0. 4.26
time (sec) N/A 0.029 0.362 0.022 1.588 1.379 0. 2.577


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 68 74 89 207 0 366
normalized size 1 1. 0.7 0.76 0.92 2.13 0. 3.77
time (sec) N/A 0.04 0.251 0.021 1.557 1.401 0. 3.499


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 364 364 199 265 240 0 0 393
normalized size 1 1. 0.55 0.73 0.66 0. 0. 1.08
time (sec) N/A 0.15 0.81 0.039 1.543 0. 0. 2.167


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 286 286 54 235 189 0 0 342
normalized size 1 1. 0.19 0.82 0.66 0. 0. 1.2
time (sec) N/A 0.126 0.061 0.018 1.43 0. 0. 1.349


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 161 207 180 0 0 263
normalized size 1 1. 0.63 0.81 0.71 0. 0. 1.03
time (sec) N/A 0.113 0.243 0.024 1.462 0. 0. 1.328


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 43 210 170 0 0 339
normalized size 1 1. 0.17 0.82 0.67 0. 0. 1.33
time (sec) N/A 0.118 0.032 0.024 1.446 0. 0. 1.332


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 45 235 220 0 0 0
normalized size 1 1. 0.15 0.79 0.74 0. 0. 0.
time (sec) N/A 0.13 0.067 0.022 1.436 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 364 364 45 271 232 0 0 0
normalized size 1 1. 0.12 0.74 0.64 0. 0. 0.
time (sec) N/A 0.151 0.058 0.026 1.443 0. 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 86 84 107 247 0 1296
normalized size 1 1. 0.47 0.46 0.59 1.36 0. 7.12
time (sec) N/A 0.063 0.767 0.036 1.387 1.558 0. 10.389


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 66 64 72 163 0 1339
normalized size 1 1. 0.6 0.58 0.65 1.48 0. 12.17
time (sec) N/A 0.043 0.743 0.015 1.411 1.419 0. 6.327


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 41 42 35 88 0 309
normalized size 1 1. 0.82 0.84 0.7 1.76 0. 6.18
time (sec) N/A 0.021 0.088 0.022 1.5 1.345 0. 1.424


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 43 40 36 93 0 61
normalized size 1 1. 0.84 0.78 0.71 1.82 0. 1.2
time (sec) N/A 0.022 0.055 0.026 1.405 1.349 0. 1.54


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 45 63 68 162 0 167
normalized size 1 1. 0.38 0.53 0.57 1.36 0. 1.4
time (sec) N/A 0.043 0.05 0.02 1.407 1.376 0. 1.759


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 45 83 95 225 0 250
normalized size 1 1. 0.25 0.45 0.52 1.23 0. 1.37
time (sec) N/A 0.064 0.033 0.021 1.407 1.385 0. 3.087


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 57 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.048 12.661 0. 0. 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 49 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.046 0.265 0. 0. 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 55 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.039 0.484 0. 0. 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 53 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.037 0.262 0. 0. 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 62 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.098 180. 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 60 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.065 0.421 0. 0. 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.038 0.121 0. 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 60 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.049 0.126 0. 0. 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 60 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.068 0.129 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 62 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.068 0.117 0. 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 18076 0 59 0 0
normalized size 1 1. 1. 564.88 0. 1.84 0. 0.
time (sec) N/A 0.019 0.022 3.563 0. 1.096 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 59 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.049 5.166 0. 0. 0. 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 122 542 0 0 0 0
normalized size 1 1. 0.47 2.11 0. 0. 0. 0.
time (sec) N/A 0.196 0.216 0.279 0. 0. 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 104 524 0 0 0 0
normalized size 1 1. 0.46 2.31 0. 0. 0. 0.
time (sec) N/A 0.161 0.166 0.174 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 38 31 92 0 0
normalized size 1 1. 1. 2.11 1.72 5.11 0. 0.
time (sec) N/A 0.041 0.073 0.136 2.263 1.639 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 30 50 45 154 0 0
normalized size 1 1. 0.73 1.22 1.1 3.76 0. 0.
time (sec) N/A 0.045 0.116 0.181 2.991 1.689 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 50 60 65 213 0 0
normalized size 1 1. 0.79 0.95 1.03 3.38 0. 0.
time (sec) N/A 0.052 0.159 0.187 1.218 1.799 0. 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 139 216 0 0 0 0
normalized size 1 1. 1.32 2.06 0. 0. 0. 0.
time (sec) N/A 0.133 1.83 0.207 0. 0. 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 57 190 0 0 0 0
normalized size 1 1. 0.76 2.53 0. 0. 0. 0.
time (sec) N/A 0.09 0.962 0.14 0. 0. 0. 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 73 159 0 0 0 0
normalized size 1 1. 1.55 3.38 0. 0. 0. 0.
time (sec) N/A 0.068 0.146 0.151 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 115 301 0 0 0 0
normalized size 1 1. 1.49 3.91 0. 0. 0. 0.
time (sec) N/A 0.106 0.567 0.167 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 124 558 0 0 0 0
normalized size 1 1. 1.18 5.31 0. 0. 0. 0.
time (sec) N/A 0.143 1.428 0.189 0. 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 277 277 123 712 0 0 0 0
normalized size 1 1. 0.44 2.57 0. 0. 0. 0.
time (sec) N/A 0.196 0.805 0.227 0. 0. 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 113 676 0 0 0 0
normalized size 1 1. 0.46 2.74 0. 0. 0. 0.
time (sec) N/A 0.176 0.55 0.159 0. 0. 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 58 31 55 0 0
normalized size 1 1. 1. 3.22 1.72 3.06 0. 0.
time (sec) N/A 0.043 0.05 0.135 1.5 1.596 0. 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 30 50 46 120 0 0
normalized size 1 1. 0.73 1.22 1.12 2.93 0. 0.
time (sec) N/A 0.048 0.079 0.155 1.695 1.452 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 42 60 78 182 0 0
normalized size 1 1. 0.67 0.95 1.24 2.89 0. 0.
time (sec) N/A 0.055 0.141 0.192 1.591 1.492 0. 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 90 548 0 0 0 0
normalized size 1 1. 0.82 4.98 0. 0. 0. 0.
time (sec) N/A 0.141 0.58 0.155 0. 0. 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 58 526 0 0 0 0
normalized size 1 1. 0.76 6.92 0. 0. 0. 0.
time (sec) N/A 0.087 0.283 0.148 0. 0. 0. 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 61 519 0 0 0 0
normalized size 1 1. 0.8 6.83 0. 0. 0. 0.
time (sec) N/A 0.094 0.273 0.148 0. 0. 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 71 499 0 0 0 0
normalized size 1 1. 0.7 4.89 0. 0. 0. 0.
time (sec) N/A 0.143 0.578 0.174 0. 0. 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 277 277 142 590 0 0 0 0
normalized size 1 1. 0.51 2.13 0. 0. 0. 0.
time (sec) N/A 0.194 0.568 0.196 0. 0. 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 126 564 0 0 0 0
normalized size 1 1. 0.51 2.28 0. 0. 0. 0.
time (sec) N/A 0.175 0.384 0.131 0. 0. 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 38 31 99 0 32
normalized size 1 1. 1. 1.9 1.55 4.95 0. 1.6
time (sec) N/A 0.042 0.075 0.123 1.396 2.146 0. 1.113


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 32 50 49 134 0 0
normalized size 1 1. 0.78 1.22 1.2 3.27 0. 0.
time (sec) N/A 0.048 0.113 0.124 1.321 2.207 0. 0.


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 42 60 76 200 0 0
normalized size 1 1. 0.67 0.95 1.21 3.17 0. 0.
time (sec) N/A 0.054 0.224 0.154 1.519 2.244 0. 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 153 248 0 0 0 0
normalized size 1 1. 1.12 1.81 0. 0. 0. 0.
time (sec) N/A 0.175 3.246 0.128 0. 0. 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 133 220 0 0 0 0
normalized size 1 1. 1.23 2.04 0. 0. 0. 0.
time (sec) N/A 0.116 2.191 0.141 0. 0. 0. 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 71 192 0 0 0 0
normalized size 1 1. 0.89 2.4 0. 0. 0. 0.
time (sec) N/A 0.101 0.376 0.137 0. 0. 0. 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 71 194 0 0 0 0
normalized size 1 1. 0.89 2.42 0. 0. 0. 0.
time (sec) N/A 0.107 0.341 0.146 0. 0. 0. 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 110 320 0 0 0 0
normalized size 1 1. 1. 2.91 0. 0. 0. 0.
time (sec) N/A 0.147 0.469 0.158 0. 0. 0. 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 130 571 0 0 0 0
normalized size 1 1. 0.93 4.08 0. 0. 0. 0.
time (sec) N/A 0.185 1.61 0.187 0. 0. 0. 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 122 698 0 0 0 336
normalized size 1 1. 0.47 2.72 0. 0. 0. 1.31
time (sec) N/A 0.174 0.706 0.163 0. 0. 0. 1.264


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 109 672 0 0 0 296
normalized size 1 1. 0.48 2.96 0. 0. 0. 1.3
time (sec) N/A 0.15 0.613 0.142 0. 0. 0. 1.183


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 38 31 109 0 31
normalized size 1 1. 1. 1.9 1.55 5.45 0. 1.55
time (sec) N/A 0.036 0.1 0.145 1.093 2.142 0. 1.117


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 40 50 47 173 0 61
normalized size 1 1. 0.93 1.16 1.09 4.02 0. 1.42
time (sec) N/A 0.043 0.127 0.173 1.065 2.312 0. 1.138


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 50 60 65 235 0 78
normalized size 1 1. 0.77 0.92 1. 3.62 0. 1.2
time (sec) N/A 0.049 0.157 0.194 1.145 2.608 0. 1.108


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 86 558 0 0 0 0
normalized size 1 1. 0.8 5.21 0. 0. 0. 0.
time (sec) N/A 0.133 0.84 0.177 0. 0. 0. 0.


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 98 545 0 0 0 0
normalized size 1 1. 1.24 6.9 0. 0. 0. 0.
time (sec) N/A 0.094 0.732 0.173 0. 0. 0. 0.


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 60 531 0 0 0 0
normalized size 1 1. 1.28 11.3 0. 0. 0. 0.
time (sec) N/A 0.057 0.126 0.147 0. 0. 0. 0.


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 69 490 0 0 0 0
normalized size 1 1. 0.96 6.81 0. 0. 0. 0.
time (sec) N/A 0.097 0.306 0.164 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 104 972 0 0 0 0
normalized size 1 1. 1.02 9.53 0. 0. 0. 0.
time (sec) N/A 0.134 0.674 0.186 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 123 558 0 0 0 348
normalized size 1 1. 0.48 2.17 0. 0. 0. 1.35
time (sec) N/A 0.182 0.327 0.14 0. 0. 0. 1.406


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 105 530 0 0 0 308
normalized size 1 1. 0.46 2.33 0. 0. 0. 1.36
time (sec) N/A 0.158 0.241 0.154 0. 0. 0. 1.279


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 38 31 135 0 35
normalized size 1 1. 1. 1.9 1.55 6.75 0. 1.75
time (sec) N/A 0.043 0.12 0.129 1.101 2.196 0. 1.158


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 42 50 47 201 0 61
normalized size 1 1. 0.98 1.16 1.09 4.67 0. 1.42
time (sec) N/A 0.05 0.095 0.149 1.122 2.132 0. 1.165


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 54 60 65 269 0 78
normalized size 1 1. 0.83 0.92 1. 4.14 0. 1.2
time (sec) N/A 0.054 0.121 0.2 1.161 2.143 0. 1.16


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 102 222 0 0 0 0
normalized size 1 1. 0.91 1.98 0. 0. 0. 0.
time (sec) N/A 0.133 0.359 0.15 0. 0. 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 126 199 0 0 0 0
normalized size 1 1. 1.59 2.52 0. 0. 0. 0.
time (sec) N/A 0.094 0.741 0.125 0. 0. 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 110 306 0 0 0 0
normalized size 1 1. 1.34 3.73 0. 0. 0. 0.
time (sec) N/A 0.104 0.692 0.135 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 136 566 0 0 0 0
normalized size 1 1. 1.21 5.05 0. 0. 0. 0.
time (sec) N/A 0.146 1.671 0.169 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 123 698 0 0 0 339
normalized size 1 1. 0.48 2.72 0. 0. 0. 1.32
time (sec) N/A 0.176 0.741 0.148 0. 0. 0. 1.259


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 113 672 0 0 0 301
normalized size 1 1. 0.5 2.96 0. 0. 0. 1.33
time (sec) N/A 0.162 0.509 0.129 0. 0. 0. 1.212


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 38 31 150 0 35
normalized size 1 1. 1. 1.9 1.55 7.5 0. 1.75
time (sec) N/A 0.043 0.16 0.13 1.084 2.373 0. 1.149


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 50 50 47 217 0 61
normalized size 1 1. 1.16 1.16 1.09 5.05 0. 1.42
time (sec) N/A 0.05 0.173 0.148 1.12 2.803 0. 1.145


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 60 60 65 285 0 78
normalized size 1 1. 0.92 0.92 1. 4.38 0. 1.2
time (sec) N/A 0.056 0.232 0.172 1.019 3.207 0. 1.143


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 122 571 0 0 0 0
normalized size 1 1. 0.85 3.97 0. 0. 0. 0.
time (sec) N/A 0.186 1.549 0.187 0. 0. 0. 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 100 550 0 0 0 0
normalized size 1 1. 0.88 4.82 0. 0. 0. 0.
time (sec) N/A 0.143 1.069 0.138 0. 0. 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 97 544 0 0 0 0
normalized size 1 1. 1.15 6.48 0. 0. 0. 0.
time (sec) N/A 0.102 0.618 0.167 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 69 511 0 0 0 0
normalized size 1 1. 0.88 6.55 0. 0. 0. 0.
time (sec) N/A 0.087 0.376 0.138 0. 0. 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 105 980 0 0 0 0
normalized size 1 1. 0.95 8.91 0. 0. 0. 0.
time (sec) N/A 0.136 1.769 0.164 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 116 1479 0 0 0 0
normalized size 1 1. 0.83 10.56 0. 0. 0. 0.
time (sec) N/A 0.184 0.801 0.2 0. 0. 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 51 493 0 161 0 0
normalized size 1 1. 0.75 7.25 0. 2.37 0. 0.
time (sec) N/A 0.09 0.187 0.303 0. 1.636 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 80 131 0 0 0 0
normalized size 1 1. 0.91 1.49 0. 0. 0. 0.
time (sec) N/A 0.106 0.312 0.199 0. 0. 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 295 0 120 0 0
normalized size 1 1. 1. 9.83 0. 4. 0. 0.
time (sec) N/A 0.042 0.129 0.197 0. 1.576 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 60 88 0 0 0 0
normalized size 1 1. 1.2 1.76 0. 0. 0. 0.
time (sec) N/A 0.053 0.115 0.138 0. 0. 0. 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 72 185 0 1035 0 0
normalized size 1 1. 0.67 1.73 0. 9.67 0. 0.
time (sec) N/A 0.088 0.253 0.167 0. 3.937 0. 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 79 178 0 0 0 0
normalized size 1 1. 0.92 2.07 0. 0. 0. 0.
time (sec) N/A 0.103 0.243 0.167 0. 0. 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 99 336 0 0 0 0
normalized size 1 1. 0.79 2.67 0. 0. 0. 0.
time (sec) N/A 0.169 0.325 0.217 0. 0. 0. 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 45 492 0 143 0 0
normalized size 1 1. 0.66 7.24 0. 2.1 0. 0.
time (sec) N/A 0.105 0.159 0.155 0. 1.652 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 83 328 0 0 0 0
normalized size 1 1. 0.99 3.9 0. 0. 0. 0.
time (sec) N/A 0.101 0.194 0.172 0. 0. 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 308 0 107 0 0
normalized size 1 1. 1. 10.27 0. 3.57 0. 0.
time (sec) N/A 0.049 0.066 0.155 0. 1.799 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 92 316 0 0 0 0
normalized size 1 1. 1.02 3.51 0. 0. 0. 0.
time (sec) N/A 0.111 0.265 0.163 0. 0. 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 104 247 0 1334 0 0
normalized size 1 1. 0.72 1.7 0. 9.2 0. 0.
time (sec) N/A 0.15 0.346 0.148 0. 5.001 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 100 349 0 0 0 0
normalized size 1 1. 0.81 2.84 0. 0. 0. 0.
time (sec) N/A 0.162 0.516 0.203 0. 0. 0. 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 52 60 0 170 0 0
normalized size 1 1. 0.76 0.88 0. 2.5 0. 0.
time (sec) N/A 0.102 0.163 0.148 0. 1.657 0. 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 87 337 0 0 0 0
normalized size 1 1. 0.99 3.83 0. 0. 0. 0.
time (sec) N/A 0.105 0.233 0.196 0. 0. 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 48 0 131 0 0
normalized size 1 1. 1. 1.5 0. 4.09 0. 0.
time (sec) N/A 0.049 0.131 0.135 0. 1.632 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 69 327 0 0 0 0
normalized size 1 1. 1.38 6.54 0. 0. 0. 0.
time (sec) N/A 0.051 0.148 0.166 0. 0. 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 80 177 0 1072 0 0
normalized size 1 1. 0.75 1.67 0. 10.11 0. 0.
time (sec) N/A 0.083 0.145 0.119 0. 3.725 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 89 315 0 0 0 0
normalized size 1 1. 1.02 3.62 0. 0. 0. 0.
time (sec) N/A 0.105 0.338 0.171 0. 0. 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 112 319 0 1571 0 0
normalized size 1 1. 0.77 2.18 0. 10.76 0. 0.
time (sec) N/A 0.142 0.599 0.165 0. 4.465 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 67 70 0 213 0 0
normalized size 1 1. 0.46 0.48 0. 1.46 0. 0.
time (sec) N/A 0.207 0.424 0.151 0. 1.812 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 57 60 0 173 0 0
normalized size 1 1. 0.52 0.55 0. 1.59 0. 0.
time (sec) N/A 0.151 0.213 0.115 0. 1.708 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 45 48 0 136 0 0
normalized size 1 1. 1.41 1.5 0. 4.25 0. 0.
time (sec) N/A 0.055 0.132 0.112 0. 1.6 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 88 237 0 1351 0 0
normalized size 1 1. 0.62 1.68 0. 9.58 0. 0.
time (sec) N/A 0.143 0.326 0.151 0. 3.895 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 103 320 0 1580 0 0
normalized size 1 1. 0.68 2.12 0. 10.46 0. 0.
time (sec) N/A 0.155 0.331 0.138 0. 4.496 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 118 181 0 0 0 0
normalized size 1 1. 0.71 1.08 0. 0. 0. 0.
time (sec) N/A 0.227 0.75 0.221 0. 0. 0. 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 97 161 0 0 0 0
normalized size 1 1. 0.75 1.24 0. 0. 0. 0.
time (sec) N/A 0.167 0.354 0.179 0. 0. 0. 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 80 137 0 0 0 0
normalized size 1 1. 0.86 1.47 0. 0. 0. 0.
time (sec) N/A 0.112 0.232 0.15 0. 0. 0. 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 79 185 0 0 0 0
normalized size 1 1. 0.92 2.15 0. 0. 0. 0.
time (sec) N/A 0.104 0.185 0.16 0. 0. 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 96 337 0 0 0 0
normalized size 1 1. 0.74 2.59 0. 0. 0. 0.
time (sec) N/A 0.169 0.343 0.172 0. 0. 0. 0.


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 106 487 0 0 0 0
normalized size 1 1. 0.63 2.92 0. 0. 0. 0.
time (sec) N/A 0.233 0.4 0.218 0. 0. 0. 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.377 0.327 0. 0. 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.342 0.175 0. 0. 0. 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.082 0.313 0.221 0. 0. 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 67 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.097 0.315 0.173 0. 0. 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 63 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.099 0.527 0.13 0. 0. 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 63 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.409 0.125 0. 0. 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 63 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.096 0.437 0.114 0. 0. 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.478 0.116 0. 0. 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 65 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.093 0.423 0.136 0. 0. 0. 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 66 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.087 0.336 0.211 0. 0. 0. 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 66 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.083 0.319 0.275 0. 0. 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 64 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.096 0.39 0.183 0. 0. 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 85 0 0 0 0 0
normalized size 1 1. 1.33 0. 0. 0. 0. 0.
time (sec) N/A 0.099 0.577 0.111 0. 0. 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 72 0 0 0 0 0
normalized size 1 1. 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.476 0.153 0. 0. 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 67 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.73 0.101 0. 0. 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 70 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.093 0.38 0.104 0. 0. 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 53 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.061 0.308 0. 0. 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 53 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.035 0.033 0.546 0. 0. 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 18 24 35 0 24
normalized size 1 1. 1. 1.06 1.41 2.06 0. 1.41
time (sec) N/A 0.029 0.009 0.011 0.946 1.582 0. 1.171


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 37 3161 63 132 0 0
normalized size 1 1. 0.8 68.72 1.37 2.87 0. 0.
time (sec) N/A 0.05 0.056 1.074 0.991 1.595 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 62 7964 96 267 0 0
normalized size 1 1. 0.86 110.61 1.33 3.71 0. 0.
time (sec) N/A 0.061 0.325 0.691 0.96 1.656 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 71 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.09 0.141 0.211 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 71 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.084 0.194 0. 0. 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 66 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.08 0.206 0. 0. 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 71 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.088 0.065 0.238 0. 0. 0. 0.


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.116 8.104 0.14 0. 0. 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.104 3.174 0.132 0. 0. 0. 0.


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.103 2.818 0.132 0. 0. 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 225 0 0 0 0 0
normalized size 1 1. 2.85 0. 0. 0. 0. 0.
time (sec) N/A 0.12 5.139 0.125 0. 0. 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 83 83 260 0 0 0 0 0
normalized size 1 1. 3.13 0. 0. 0. 0. 0.
time (sec) N/A 0.103 1.907 0.915 0. 0. 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 50 50 916 0 0 0 0 0
normalized size 1 1. 18.32 0. 0. 0. 0. 0.
time (sec) N/A 0.057 4.745 0.826 0. 0. 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 50 50 450 0 0 0 0 0
normalized size 1 1. 9. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 2.118 0.71 0. 0. 0. 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 22 4284 38 96 0 0
normalized size 1 1. 0.88 171.36 1.52 3.84 0. 0.
time (sec) N/A 0.042 0.066 1.787 0.964 1.634 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 46 13019 74 204 0 0
normalized size 1 1. 0.87 245.64 1.4 3.85 0. 0.
time (sec) N/A 0.055 0.147 0.641 0.973 1.622 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 69 26124 109 356 0 0
normalized size 1 1. 0.86 326.55 1.36 4.45 0. 0.
time (sec) N/A 0.063 0.265 1.119 0.993 1.876 0. 0.


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 456 0 0 0 0 0
normalized size 1 1. 5.85 0. 0. 0. 0. 0.
time (sec) N/A 0.084 2.856 0.778 0. 0. 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 76 76 252 0 0 0 0 0
normalized size 1 1. 3.32 0. 0. 0. 0. 0.
time (sec) N/A 0.07 1.048 0.664 0. 0. 0. 0.


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 64 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.078 0.201 0.232 0. 0. 0. 0.


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 182 0 0 0 0 0
normalized size 1 1. 2.33 0. 0. 0. 0. 0.
time (sec) N/A 0.082 7.399 0.278 0. 0. 0. 0.


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 254 0 0 0 0 0
normalized size 1 1. 3.26 0. 0. 0. 0. 0.
time (sec) N/A 0.083 7.633 0.337 0. 0. 0. 0.


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 89 89 297 0 0 0 0 0
normalized size 1 1. 3.34 0. 0. 0. 0. 0.
time (sec) N/A 0.121 2.449 0.144 0. 0. 0. 0.


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 91 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.107 1.573 0.136 0. 0. 0. 0.


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 89 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.107 1.251 0.135 0. 0. 0. 0.


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 90 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.125 1.859 0.13 0. 0. 0. 0.


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 81 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.447 0.784 0. 0. 0. 0.


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 66 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.072 0.393 0. 0. 0. 0.


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 45 728 0 1511 0 0
normalized size 1 1. 0.19 3.14 0. 6.51 0. 0.
time (sec) N/A 0.227 0.079 0.258 0. 2. 0. 0.


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 45 540 0 1440 0 0
normalized size 1 1. 0.21 2.52 0. 6.73 0. 0.
time (sec) N/A 0.182 0.044 0.185 0. 2.055 0. 0.


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 36 650 0 1458 0 0
normalized size 1 1. 0.17 3.1 0. 6.94 0. 0.
time (sec) N/A 0.179 0.054 0.167 0. 1.911 0. 0.


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 132 287 0 1230 0 0
normalized size 1 1. 0.69 1.49 0. 6.41 0. 0.
time (sec) N/A 0.138 0.183 0.124 0. 1.88 0. 0.


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 40 160 0 0 0 0
normalized size 1 1. 0.21 0.83 0. 0. 0. 0.
time (sec) N/A 0.117 0.045 0.025 0. 0. 0. 0.


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 162 172 0 0 0 0
normalized size 1 1. 0.78 0.82 0. 0. 0. 0.
time (sec) N/A 0.165 0.228 0.02 0. 0. 0. 0.


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 42 178 0 0 0 0
normalized size 1 1. 0.2 0.83 0. 0. 0. 0.
time (sec) N/A 0.162 0.047 0.027 0. 0. 0. 0.


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 172 190 0 0 0 0
normalized size 1 1. 0.74 0.82 0. 0. 0. 0.
time (sec) N/A 0.198 0.439 0.029 0. 0. 0. 0.


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 45 718 0 1527 0 0
normalized size 1 1. 0.19 3.07 0. 6.53 0. 0.
time (sec) N/A 0.214 0.061 0.175 0. 2.219 0. 0.


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 45 540 0 1472 0 0
normalized size 1 1. 0.21 2.52 0. 6.88 0. 0.
time (sec) N/A 0.179 0.045 0.184 0. 2.153 0. 0.


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 38 650 0 1474 0 0
normalized size 1 1. 0.18 3.07 0. 6.95 0. 0.
time (sec) N/A 0.174 0.047 0.17 0. 2.121 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 134 287 0 1258 0 0
normalized size 1 1. 0.7 1.49 0. 6.55 0. 0.
time (sec) N/A 0.147 0.024 0.152 0. 2.257 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 37 318 0 1295 0 0
normalized size 1 1. 0.19 1.66 0. 6.74 0. 0.
time (sec) N/A 0.138 0.029 0.136 0. 1.892 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 159 176 0 0 0 0
normalized size 1 1. 0.76 0.84 0. 0. 0. 0.
time (sec) N/A 0.144 0.131 0.013 0. 0. 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 39 181 0 0 0 0
normalized size 1 1. 0.18 0.86 0. 0. 0. 0.
time (sec) N/A 0.157 0.057 0.012 0. 0. 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 172 194 0 0 0 0
normalized size 1 1. 0.74 0.84 0. 0. 0. 0.
time (sec) N/A 0.196 0.276 0.019 0. 0. 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 40 718 0 1584 0 0
normalized size 1 1. 0.17 3.11 0. 6.86 0. 0.
time (sec) N/A 0.207 0.12 0.194 0. 1.805 0. 0.


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 38 540 0 1562 0 0
normalized size 1 1. 0.18 2.55 0. 7.37 0. 0.
time (sec) N/A 0.171 0.095 0.179 0. 1.816 0. 0.


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 35 642 0 1531 0 0
normalized size 1 1. 0.17 3.07 0. 7.33 0. 0.
time (sec) N/A 0.164 0.065 0.174 0. 1.745 0. 0.


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 131 166 0 0 0 0
normalized size 1 1. 0.68 0.86 0. 0. 0. 0.
time (sec) N/A 0.111 0.015 0.023 0. 0. 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 40 157 0 0 0 0
normalized size 1 1. 0.21 0.82 0. 0. 0. 0.
time (sec) N/A 0.13 0.028 0.021 0. 0. 0. 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 159 184 0 0 0 0
normalized size 1 1. 0.75 0.87 0. 0. 0. 0.
time (sec) N/A 0.163 0.159 0.027 0. 0. 0. 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 47 175 0 0 0 0
normalized size 1 1. 0.22 0.82 0. 0. 0. 0.
time (sec) N/A 0.16 0.061 0.028 0. 0. 0. 0.


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 38 718 0 1608 0 0
normalized size 1 1. 0.16 3.09 0. 6.93 0. 0.
time (sec) N/A 0.209 0.165 0.176 0. 1.784 0. 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 37 532 0 1597 0 0
normalized size 1 1. 0.18 2.52 0. 7.57 0. 0.
time (sec) N/A 0.174 0.029 0.155 0. 1.767 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 38 184 0 0 0 0
normalized size 1 1. 0.18 0.87 0. 0. 0. 0.
time (sec) N/A 0.142 0.052 0.017 0. 0. 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 134 166 0 0 0 0
normalized size 1 1. 0.7 0.86 0. 0. 0. 0.
time (sec) N/A 0.132 0.029 0.014 0. 0. 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 40 166 0 0 0 0
normalized size 1 1. 0.21 0.86 0. 0. 0. 0.
time (sec) N/A 0.132 0.009 0.02 0. 0. 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 159 184 0 0 0 0
normalized size 1 1. 0.75 0.87 0. 0. 0. 0.
time (sec) N/A 0.162 0.151 0.02 0. 0. 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 47 184 0 0 0 0
normalized size 1 1. 0.22 0.86 0. 0. 0. 0.
time (sec) N/A 0.161 0.083 0.017 0. 0. 0. 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 172 202 0 0 0 0
normalized size 1 1. 0.74 0.86 0. 0. 0. 0.
time (sec) N/A 0.188 0.292 0.016 0. 0. 0. 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 62 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.074 0.444 0. 0. 0. 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 64 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.066 0.307 0. 0. 0. 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.062 0.372 0. 0. 0. 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 67 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.069 0.09 0.326 0. 0. 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 52 60 69 159 0 111
normalized size 1 1. 0.78 0.9 1.03 2.37 0. 1.66
time (sec) N/A 0.054 0.188 0.256 1.111 1.864 0. 1.297


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 34 50 49 128 0 77
normalized size 1 1. 0.76 1.11 1.09 2.84 0. 1.71
time (sec) N/A 0.045 0.141 0.163 0.973 1.713 0. 1.143


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 19 24 93 0 31
normalized size 1 1. 1. 0.86 1.09 4.23 0. 1.41
time (sec) N/A 0.037 0.036 0.03 0.934 1.614 0. 1.181


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 40 160 0 1283 0 259
normalized size 1 1. 0.21 0.83 0. 6.68 0. 1.35
time (sec) N/A 0.111 0.037 0.019 0. 1.705 0. 1.14


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 102 516 0 0 0 323
normalized size 1 1. 0.45 2.27 0. 0. 0. 1.42
time (sec) N/A 0.17 0.187 0.183 0. 0. 0. 1.293


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 102 551 0 0 0 0
normalized size 1 1. 0.95 5.15 0. 0. 0. 0.
time (sec) N/A 0.129 0.423 0.16 0. 0. 0. 0.


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 61 505 0 0 0 0
normalized size 1 1. 0.81 6.73 0. 0. 0. 0.
time (sec) N/A 0.09 0.266 0.15 0. 0. 0. 0.


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 57 523 0 0 0 0
normalized size 1 1. 1.21 11.13 0. 0. 0. 0.
time (sec) N/A 0.065 0.094 0.157 0. 0. 0. 0.


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 94 536 0 0 0 0
normalized size 1 1. 1.16 6.62 0. 0. 0. 0.
time (sec) N/A 0.102 0.431 0.192 0. 0. 0. 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 86 542 0 0 0 0
normalized size 1 1. 0.77 4.88 0. 0. 0. 0.
time (sec) N/A 0.139 0.75 0.171 0. 0. 0. 0.


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 52 60 69 178 0 0
normalized size 1 1. 0.78 0.9 1.03 2.66 0. 0.
time (sec) N/A 0.058 0.137 0.189 0.938 2.178 0. 0.


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 42 50 49 143 0 0
normalized size 1 1. 0.93 1.11 1.09 3.18 0. 0.
time (sec) N/A 0.053 0.133 0.24 0.941 1.894 0. 0.


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 19 24 111 0 0
normalized size 1 1. 1. 0.86 1.09 5.05 0. 0.
time (sec) N/A 0.043 0.053 0.02 0.942 1.712 0. 0.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 159 176 0 1328 0 0
normalized size 1 1. 0.76 0.84 0. 6.32 0. 0.
time (sec) N/A 0.142 0.26 0.013 0. 1.737 0. 0.


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 110 660 0 0 0 0
normalized size 1 1. 0.49 2.93 0. 0. 0. 0.
time (sec) N/A 0.163 0.259 0.143 0. 0. 0. 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 90 251 0 0 0 0
normalized size 1 1. 0.66 1.85 0. 0. 0. 0.
time (sec) N/A 0.183 0.799 0.135 0. 0. 0. 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 80 223 0 0 0 0
normalized size 1 1. 0.74 2.06 0. 0. 0. 0.
time (sec) N/A 0.145 0.457 0.159 0. 0. 0. 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 69 186 0 0 0 0
normalized size 1 1. 0.86 2.32 0. 0. 0. 0.
time (sec) N/A 0.085 0.299 0.124 0. 0. 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 196 0 0 0 0
normalized size 1 1. 0.74 2.51 0. 0. 0. 0.
time (sec) N/A 0.095 0.128 0.132 0. 0. 0. 0.


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 96 220 0 0 0 0
normalized size 1 1. 0.89 2.04 0. 0. 0. 0.
time (sec) N/A 0.134 1.086 0.172 0. 0. 0. 0.


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 131 250 0 0 0 0
normalized size 1 1. 0.96 1.84 0. 0. 0. 0.
time (sec) N/A 0.174 2.389 0.16 0. 0. 0. 0.


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 52 60 69 211 0 113
normalized size 1 1. 0.78 0.9 1.03 3.15 0. 1.69
time (sec) N/A 0.058 0.431 0.181 0.948 2.351 0. 1.322


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 42 50 49 171 0 80
normalized size 1 1. 0.93 1.11 1.09 3.8 0. 1.78
time (sec) N/A 0.05 0.263 0.139 0.978 1.923 0. 1.217


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 19 24 134 0 38
normalized size 1 1. 1. 0.86 1.09 6.09 0. 1.73
time (sec) N/A 0.043 0.055 0.02 0.94 1.749 0. 1.336


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 40 182 0 1521 0 277
normalized size 1 1. 0.19 0.86 0. 7.17 0. 1.31
time (sec) N/A 0.142 0.039 0.011 0. 1.763 0. 1.289


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 107 532 0 0 0 321
normalized size 1 1. 0.48 2.36 0. 0. 0. 1.43
time (sec) N/A 0.163 0.188 0.158 0. 0. 0. 1.27


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 125 550 0 0 0 366
normalized size 1 1. 0.49 2.17 0. 0. 0. 1.45
time (sec) N/A 0.18 0.189 0.145 0. 0. 0. 1.333


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 79 222 0 0 0 0
normalized size 1 1. 0.72 2.04 0. 0. 0. 0.
time (sec) N/A 0.137 0.541 0.196 0. 0. 0. 0.


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 68 194 0 0 0 0
normalized size 1 1. 0.86 2.46 0. 0. 0. 0.
time (sec) N/A 0.096 0.264 0.171 0. 0. 0. 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 77 165 0 0 0 0
normalized size 1 1. 1.64 3.51 0. 0. 0. 0.
time (sec) N/A 0.059 0.124 0.122 0. 0. 0. 0.


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 126 196 0 0 0 0
normalized size 1 1. 1.66 2.58 0. 0. 0. 0.
time (sec) N/A 0.093 0.537 0.145 0. 0. 0. 0.


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 94 224 0 0 0 0
normalized size 1 1. 0.86 2.06 0. 0. 0. 0.
time (sec) N/A 0.127 0.971 0.174 0. 0. 0. 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 60 73 162 0 92
normalized size 1 1. 0.69 0.92 1.12 2.49 0. 1.42
time (sec) N/A 0.06 0.192 0.163 0.963 1.876 0. 1.305


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 32 50 49 131 0 57
normalized size 1 1. 0.74 1.16 1.14 3.05 0. 1.33
time (sec) N/A 0.052 0.096 0.138 0.946 1.71 0. 1.342


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 24 97 0 24
normalized size 1 1. 1. 0.95 1.2 4.85 0. 1.2
time (sec) N/A 0.043 0.058 0.02 0.945 1.663 0. 1.345


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 38 184 0 1693 0 275
normalized size 1 1. 0.18 0.87 0. 7.99 0. 1.3
time (sec) N/A 0.142 0.034 0.011 0. 1.765 0. 1.248


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 249 249 115 982 0 0 0 344
normalized size 1 1. 0.46 3.94 0. 0. 0. 1.38
time (sec) N/A 0.183 0.282 0.144 0. 0. 0. 1.482


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 104 529 0 0 0 0
normalized size 1 1. 0.75 3.83 0. 0. 0. 0.
time (sec) N/A 0.174 0.868 0.179 0. 0. 0. 0.


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 93 491 0 0 0 0
normalized size 1 1. 0.89 4.72 0. 0. 0. 0.
time (sec) N/A 0.134 0.448 0.177 0. 0. 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 69 488 0 0 0 0
normalized size 1 1. 0.88 6.26 0. 0. 0. 0.
time (sec) N/A 0.092 0.378 0.133 0. 0. 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 66 501 0 0 0 0
normalized size 1 1. 0.85 6.42 0. 0. 0. 0.
time (sec) N/A 0.098 0.395 0.143 0. 0. 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 77 515 0 0 0 0
normalized size 1 1. 0.69 4.6 0. 0. 0. 0.
time (sec) N/A 0.149 0.553 0.142 0. 0. 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 89 536 0 0 0 0
normalized size 1 1. 0.63 3.77 0. 0. 0. 0.
time (sec) N/A 0.187 0.838 0.165 0. 0. 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 113 302 0 0 0 0
normalized size 1 1. 1.38 3.68 0. 0. 0. 0.
time (sec) N/A 0.087 0.695 0.135 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 103 970 0 0 0 0
normalized size 1 1. 0.94 8.82 0. 0. 0. 0.
time (sec) N/A 0.137 1.527 0.177 0. 0. 0. 0.


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 77 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.207 0.067 0. 0. 0. 0.


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 56 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.083 0.06 0. 0. 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 56 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.085 0.061 0. 0. 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 56 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.08 0.058 0. 0. 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 54 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.071 0.06 0. 0. 0. 0.


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 89 0 0 0 0 0
normalized size 1 1. 1.68 0. 0. 0. 0. 0.
time (sec) N/A 0.059 1.1 0.079 0. 0. 0. 0.


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 78 0 0 0 0 0
normalized size 1 1. 1.47 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.859 0.073 0. 0. 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 77 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.744 0.074 0. 0. 0. 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 78 0 0 0 0 0
normalized size 1 1. 1.47 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.194 0.076 0. 0. 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 77 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.255 0.074 0. 0. 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0
normalized size 1 1. 1.4 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.28 0.062 0. 0. 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0
normalized size 1 1. 1.4 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.303 0.068 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0
normalized size 1 1. 1.4 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.28 0.062 0. 0. 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0
normalized size 1 1. 1.4 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.214 0.062 0. 0. 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 79 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.195 0.062 0. 0. 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 92 0 0 0 0 0
normalized size 1 1. 1.61 0. 0. 0. 0. 0.
time (sec) N/A 0.042 1.098 0.078 0. 0. 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 69 0 0 0 0 0
normalized size 1 1. 1.21 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.155 0.081 0. 0. 0. 0.


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 69 0 0 0 0 0
normalized size 1 1. 1.21 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.151 0.077 0. 0. 0. 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 69 0 0 0 0 0
normalized size 1 1. 1.21 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.149 0.076 0. 0. 0. 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 67 0 0 0 0 0
normalized size 1 1. 1.18 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.143 0.076 0. 0. 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 174 600 0 2044 0 0
normalized size 1 1. 0.98 3.37 0. 11.48 0. 0.
time (sec) N/A 0.162 1.903 0.316 0. 2.905 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 71 572 0 0 0 0
normalized size 1 1. 0.76 6.15 0. 0. 0. 0.
time (sec) N/A 0.112 1.002 0.277 0. 0. 0. 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 136 306 0 1701 0 0
normalized size 1 1. 1.03 2.32 0. 12.89 0. 0.
time (sec) N/A 0.098 0.788 0.232 0. 2.801 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 55 55 62 551 0 0 0 0
normalized size 1 1. 1.13 10.02 0. 0. 0. 0.
time (sec) N/A 0.061 0.514 0.229 0. 0. 0. 0.


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 34 50 0 127 53 0
normalized size 1 1. 1. 1.47 0. 3.74 1.56 0.
time (sec) N/A 0.051 0.12 0.18 0. 1.716 42.915 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 95 95 79 573 0 0 0 0
normalized size 1 1. 0.83 6.03 0. 0. 0. 0.
time (sec) N/A 0.114 0.671 0.242 0. 0. 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 53 62 0 159 0 0
normalized size 1 1. 0.74 0.86 0. 2.21 0. 0.
time (sec) N/A 0.103 0.17 0.191 0. 1.714 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 132 132 92 585 0 0 0 0
normalized size 1 1. 0.7 4.43 0. 0. 0. 0.
time (sec) N/A 0.168 0.932 0.216 0. 0. 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 131 131 95 239 0 0 0 0
normalized size 1 1. 0.73 1.82 0. 0. 0. 0.
time (sec) N/A 0.176 0.77 0.249 0. 0. 0. 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 129 759 0 2007 0 0
normalized size 1 1. 0.76 4.49 0. 11.88 0. 0.
time (sec) N/A 0.174 6.299 0.183 0. 2.999 0. 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 105 211 0 0 0 0
normalized size 1 1. 1.19 2.4 0. 0. 0. 0.
time (sec) N/A 0.115 0.738 0.226 0. 0. 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 64 719 0 1886 0 0
normalized size 1 1. 0.38 4.31 0. 11.29 0. 0.
time (sec) N/A 0.125 4.173 0.227 0. 5.356 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 98 207 0 0 0 0
normalized size 1 1. 1.02 2.16 0. 0. 0. 0.
time (sec) N/A 0.121 0.595 0.202 0. 0. 0. 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 141 50 0 142 0 0
normalized size 1 1. 4.15 1.47 0. 4.18 0. 0.
time (sec) N/A 0.057 1.338 0.151 0. 2.019 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 131 131 105 241 0 0 0 0
normalized size 1 1. 0.8 1.84 0. 0. 0. 0.
time (sec) N/A 0.18 1.265 0.233 0. 0. 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 158 62 0 174 0 0
normalized size 1 1. 1.53 0.6 0. 1.69 0. 0.
time (sec) N/A 0.163 3.313 0.162 0. 1.816 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 189 628 0 2182 0 0
normalized size 1 1. 0.91 3.02 0. 10.49 0. 0.
time (sec) N/A 0.228 3.142 0.229 0. 3.568 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 131 131 93 593 0 0 0 0
normalized size 1 1. 0.71 4.53 0. 0. 0. 0.
time (sec) N/A 0.173 2.339 0.179 0. 0. 0. 0.


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 182 602 0 2047 0 0
normalized size 1 1. 1.08 3.56 0. 12.11 0. 0.
time (sec) N/A 0.153 1.672 0.196 0. 2.986 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 88 88 74 585 0 0 0 0
normalized size 1 1. 0.84 6.65 0. 0. 0. 0.
time (sec) N/A 0.113 0.71 0.223 0. 0. 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 181 570 0 1952 0 0
normalized size 1 1. 1.08 3.39 0. 11.62 0. 0.
time (sec) N/A 0.165 1.059 0.211 0. 5.529 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 96 96 81 564 0 0 0 0
normalized size 1 1. 0.84 5.88 0. 0. 0. 0.
time (sec) N/A 0.12 0.739 0.213 0. 0. 0. 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 45 50 0 165 0 0
normalized size 1 1. 1.32 1.47 0. 4.85 0. 0.
time (sec) N/A 0.055 0.158 0.149 0. 1.713 0. 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 99 586 0 0 0 0
normalized size 1 1. 0.76 4.47 0. 0. 0. 0.
time (sec) N/A 0.177 0.951 0.186 0. 0. 0. 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 136 758 0 1980 0 0
normalized size 1 1. 0.76 4.26 0. 11.12 0. 0.
time (sec) N/A 0.168 6.356 0.215 0. 3.324 0. 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 83 208 0 0 0 0
normalized size 1 1. 0.9 2.26 0. 0. 0. 0.
time (sec) N/A 0.113 2.349 0.21 0. 0. 0. 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 105 344 0 1662 0 0
normalized size 1 1. 0.8 2.63 0. 12.69 0. 0.
time (sec) N/A 0.106 4.253 0.214 0. 3.012 0. 0.


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 89 175 0 0 0 0
normalized size 1 1. 1.62 3.18 0. 0. 0. 0.
time (sec) N/A 0.061 0.444 0.207 0. 0. 0. 0.


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 50 0 107 51 0
normalized size 1 1. 1. 1.56 0. 3.34 1.59 0.
time (sec) N/A 0.045 0.388 0.165 0. 1.671 22.735 0.


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 95 95 91 213 0 0 0 0
normalized size 1 1. 0.96 2.24 0. 0. 0. 0.
time (sec) N/A 0.115 1.001 0.211 0. 0. 0. 0.


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 112 60 0 140 0 0
normalized size 1 1. 1.56 0.83 0. 1.94 0. 0.
time (sec) N/A 0.097 1.15 0.17 0. 1.696 0. 0.


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 211 1061 0 2014 0 0
normalized size 1 1. 1.23 6.2 0. 11.78 0. 0.
time (sec) N/A 0.167 1.037 0.21 0. 3.264 0. 0.


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 97 97 70 538 0 0 0 0
normalized size 1 1. 0.72 5.55 0. 0. 0. 0.
time (sec) N/A 0.123 0.609 0.185 0. 0. 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 50 0 126 53 0
normalized size 1 1. 1. 1.56 0. 3.94 1.66 0.
time (sec) N/A 0.05 0.124 0.154 0. 1.653 24.034 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 91 91 67 556 0 0 0 0
normalized size 1 1. 0.74 6.11 0. 0. 0. 0.
time (sec) N/A 0.116 0.562 0.206 0. 0. 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 67 52 60 0 161 0 0
normalized size 1 0.93 0.72 0.83 0. 2.24 0. 0.
time (sec) N/A 0.108 0.176 0.147 0. 1.676 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 130 130 81 570 0 0 0 0
normalized size 1 1. 0.62 4.38 0. 0. 0. 0.
time (sec) N/A 0.186 0.657 0.217 0. 0. 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 144 1367 0 2111 0 0
normalized size 1 1. 0.84 7.95 0. 12.27 0. 0.
time (sec) N/A 0.18 1.207 0.247 0. 4.123 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 116 315 0 0 0 0
normalized size 1 1. 1.15 3.12 0. 0. 0. 0.
time (sec) N/A 0.126 0.444 0.205 0. 0. 0. 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 34 50 0 143 0 0
normalized size 1 1. 1. 1.47 0. 4.21 0. 0.
time (sec) N/A 0.057 0.156 0.133 0. 1.628 0. 0.


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 95 95 70 322 0 0 0 0
normalized size 1 1. 0.74 3.39 0. 0. 0. 0.
time (sec) N/A 0.114 0.705 0.214 0. 0. 0. 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 110 62 0 178 0 0
normalized size 1 1. 1.59 0.9 0. 2.58 0. 0.
time (sec) N/A 0.101 0.851 0.177 0. 1.746 0. 0.


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 112 335 0 0 0 0
normalized size 1 1. 0.85 2.54 0. 0. 0. 0.
time (sec) N/A 0.184 2.376 0.209 0. 0. 0. 0.


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 159 72 0 213 0 0
normalized size 1 1. 1.5 0.68 0. 2.01 0. 0.
time (sec) N/A 0.166 3.052 0.156 0. 1.935 0. 0.


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.099 0.173 0. 0. 0. 0.


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.078 0.262 0. 0. 0. 0.


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.093 0.241 0. 0. 0. 0.


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.054 0.124 0.207 0. 0. 0. 0.


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.145 0.146 0. 0. 0. 0.


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.133 0.14 0. 0. 0. 0.


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.052 0.073 0.141 0. 0. 0. 0.


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 71 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.077 0.186 0. 0. 0. 0.


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.05 0.142 0.173 0. 0. 0. 0.


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.085 0.247 0. 0. 0. 0.


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.112 0.221 0. 0. 0. 0.


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 62 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.229 0.128 0. 0. 0. 0.


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.146 0.129 0. 0. 0. 0.


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.089 0.128 0. 0. 0. 0.


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.103 0.115 0. 0. 0. 0.


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 64 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.203 0.113 0. 0. 0. 0.


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 47 6797 104 188 0 0
normalized size 1 1. 0.7 101.45 1.55 2.81 0. 0.
time (sec) N/A 0.062 0.352 0.603 1.021 1.729 0. 0.


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 34 2707 69 112 0 0
normalized size 1 1. 0.79 62.95 1.6 2.6 0. 0.
time (sec) N/A 0.049 0.107 0.175 1.004 1.641 0. 0.


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 18 27 35 44 0
normalized size 1 1. 1. 1.06 1.59 2.06 2.59 0.
time (sec) N/A 0.021 0.022 0.01 0.999 1.607 0.538 0.


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 124 0 0 0 0 0
normalized size 1 1. 3.1 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.804 0.521 0. 0. 0. 0.


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 39 39 3020 0 0 0 0 0
normalized size 1 1. 77.44 0. 0. 0. 0. 0.
time (sec) N/A 0.044 17.461 0.386 0. 0. 0. 0.


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 40 40 4177 0 0 0 0 0
normalized size 1 1. 104.42 0. 0. 0. 0. 0.
time (sec) N/A 0.044 21.794 0.191 0. 0. 0. 0.


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 63 63 10908 0 0 0 0 0
normalized size 1 1. 173.14 0. 0. 0. 0. 0.
time (sec) N/A 0.04 29.413 0.181 0. 0. 0. 0.


















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 63 63 6612 0 0 0 0 0
normalized size 1 1. 104.95 0. 0. 0. 0. 0.
time (sec) N/A 0.038 24.92 0.25 0. 0. 0. 0.


















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 4872 0 0 0 0 0
normalized size 1 1. 82.58 0. 0. 0. 0. 0.
time (sec) N/A 0.037 21.607 0.271 0. 0. 0. 0.


















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 63 63 6671 0 0 0 0 0
normalized size 1 1. 105.89 0. 0. 0. 0. 0.
time (sec) N/A 0.037 25.186 0.179 0. 0. 0. 0.


















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 63 63 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.571 0.192 0. 0. 0. 0.


















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 80 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.145 0.748 0. 0. 0. 0.


















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 101 0 0 215 0 0
normalized size 1 1. 1.36 0. 0. 2.91 0. 0.
time (sec) N/A 0.066 2.099 0.196 0. 1.667 0. 0.


















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 78 0 0 151 0 0
normalized size 1 1. 1.59 0. 0. 3.08 0. 0.
time (sec) N/A 0.051 1.146 0.139 0. 1.713 0. 0.


















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 25 25 0 96 0 0
normalized size 1 1. 1.04 1.04 0. 4. 0. 0.
time (sec) N/A 0.039 0.02 0.017 0. 1.652 0. 0.


















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 53 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.048 0.347 0. 0. 0. 0.


















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 50 50 939 0 0 0 0 0
normalized size 1 1. 18.78 0. 0. 0. 0. 0.
time (sec) N/A 0.047 4.376 0.651 0. 0. 0. 0.


















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 50 50 1712 0 0 0 0 0
normalized size 1 1. 34.24 0. 0. 0. 0. 0.
time (sec) N/A 0.045 13.209 180. 0. 0. 0. 0.


















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 72 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.107 0.142 0. 0. 0. 0.


















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 72 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.095 0.13 0. 0. 0. 0.


















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 64 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.067 0.223 0. 0. 0. 0.


















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 72 72 452 0 0 0 0 0
normalized size 1 1. 6.28 0. 0. 0. 0. 0.
time (sec) N/A 0.031 2.333 0.767 0. 0. 0. 0.


















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 1313 0 0 0 0 0
normalized size 1 1. 16.83 0. 0. 0. 0. 0.
time (sec) N/A 0.037 6.28 0.826 0. 0. 0. 0.


















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 52 0 0 0 0 0
normalized size 1 1. 1.3 0. 0. 0. 0. 0.
time (sec) N/A 0.046 0.084 0.287 0. 0. 0. 0.


















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 52 0 0 0 0 0
normalized size 1 1. 1.33 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.049 0.441 0. 0. 0. 0.


















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 19 28 36 56 0
normalized size 1 1. 1. 1.06 1.56 2. 3.11 0.
time (sec) N/A 0.021 0.017 0.01 0.969 1.602 0.524 0.


















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 36 6612 68 134 0 0
normalized size 1 1. 0.84 153.77 1.58 3.12 0. 0.
time (sec) N/A 0.047 0.082 0.601 0.969 1.663 0. 0.


















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 63 16599 105 269 0 0
normalized size 1 1. 0.91 240.57 1.52 3.9 0. 0.
time (sec) N/A 0.06 0.293 0.553 0.996 1.769 0. 0.


















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 79 0 0 0 0 0
normalized size 1 1. 1.25 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.699 0.221 0. 0. 0. 0.


















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 79 0 0 0 0 0
normalized size 1 1. 1.36 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.561 0.199 0. 0. 0. 0.


















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 186 0 0 0 0 0
normalized size 1 1. 2.95 0. 0. 0. 0. 0.
time (sec) N/A 0.036 1.056 0.201 0. 0. 0. 0.


















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 302 0 0 0 0 0
normalized size 1 1. 4.79 0. 0. 0. 0. 0.
time (sec) N/A 0.036 4.854 0.234 0. 0. 0. 0.


















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.167 5.681 0.174 0. 0. 0. 0.


















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.145 3.107 0.171 0. 0. 0. 0.


















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.151 1.225 0.168 0. 0. 0. 0.


















Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.174 3.542 0.146 0. 0. 0. 0.


















Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 89 89 287 0 0 0 0 0
normalized size 1 1. 3.22 0. 0. 0. 0. 0.
time (sec) N/A 0.15 1.964 0.789 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [9] had the largest ratio of [ 0.75 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 1 1 1. 6 0.167







2 A 2 2 1. 8 0.25







3 A 2 2 1. 8 0.25







4 A 3 2 1. 8 0.25







5 A 3 2 1. 8 0.25







6 A 4 2 1. 8 0.25







7 A 4 2 1. 8 0.25







8 A 5 2 1. 8 0.25







9 A 13 9 1. 12 0.75







10 A 12 9 1. 12 0.75







11 A 12 9 1. 12 0.75







12 A 11 8 1. 12 0.667







13 A 11 8 1. 12 0.667







14 A 12 9 1. 12 0.75







15 A 12 9 1. 12 0.75







16 A 13 9 1. 12 0.75







17 A 13 9 1. 12 0.75







18 A 12 8 1. 12 0.667







19 A 9 9 1. 12 0.75







20 A 9 9 1. 12 0.75







21 A 12 8 1. 12 0.667







22 A 13 9 1. 12 0.75







23 A 2 2 1. 10 0.2







24 A 4 3 1. 14 0.214







25 A 3 3 1. 14 0.214







26 A 2 2 1. 14 0.143







27 A 2 2 1. 14 0.143







28 A 3 3 1. 14 0.214







29 A 4 3 1. 14 0.214







30 A 16 10 1. 14 0.714







31 A 14 10 1. 14 0.714







32 A 13 10 1. 14 0.714







33 A 13 10 1. 14 0.714







34 A 14 10 1. 14 0.714







35 A 16 10 1. 14 0.714







36 A 7 3 1. 14 0.214







37 A 5 3 1. 14 0.214







38 A 3 3 1. 14 0.214







39 A 3 3 1. 14 0.214







40 A 5 3 1. 14 0.214







41 A 7 3 1. 14 0.214







42 A 3 3 1. 12 0.25







43 A 3 3 1. 12 0.25







44 A 3 3 1. 12 0.25







45 A 3 3 1. 12 0.25







46 A 3 3 1. 14 0.214







47 A 3 3 1. 14 0.214







48 A 3 3 1. 14 0.214







49 A 3 3 1. 14 0.214







50 A 3 3 1. 14 0.214







51 A 3 3 1. 14 0.214







52 A 2 2 1. 14 0.143







53 A 3 3 1. 14 0.214







54 A 13 9 1. 21 0.429







55 A 12 9 1. 21 0.429







56 A 2 2 1. 21 0.095







57 A 3 2 1. 21 0.095







58 A 3 2 1. 21 0.095







59 A 5 4 1. 21 0.19







60 A 4 4 1. 19 0.21







61 A 3 3 1. 19 0.158







62 A 4 4 1. 21 0.19







63 A 5 4 1. 21 0.19







64 A 14 10 1. 21 0.476







65 A 13 10 1. 21 0.476







66 A 2 2 1. 21 0.095







67 A 3 2 1. 21 0.095







68 A 3 2 1. 21 0.095







69 A 5 5 1. 21 0.238







70 A 4 4 1. 19 0.21







71 A 4 4 1. 19 0.21







72 A 5 5 1. 21 0.238







73 A 14 10 1. 21 0.476







74 A 13 10 1. 21 0.476







75 A 2 2 1. 21 0.095







76 A 3 2 1. 21 0.095







77 A 3 2 1. 21 0.095







78 A 6 5 1. 21 0.238







79 A 5 5 1. 19 0.263







80 A 4 4 1. 19 0.21







81 A 4 4 1. 21 0.19







82 A 5 5 1. 21 0.238







83 A 6 5 1. 21 0.238







84 A 13 9 1. 21 0.429







85 A 12 9 1. 21 0.429







86 A 2 2 1. 21 0.095







87 A 3 2 1. 21 0.095







88 A 3 2 1. 21 0.095







89 A 5 4 1. 21 0.19







90 A 4 4 1. 21 0.19







91 A 3 3 1. 19 0.158







92 A 4 4 1. 19 0.21







93 A 5 5 1. 21 0.238







94 A 13 10 1. 21 0.476







95 A 12 9 1. 21 0.429







96 A 2 2 1. 21 0.095







97 A 3 2 1. 21 0.095







98 A 3 2 1. 21 0.095







99 A 5 5 1. 21 0.238







100 A 4 4 1. 19 0.21







101 A 4 4 1. 19 0.21







102 A 5 5 1. 21 0.238







103 A 13 10 1. 21 0.476







104 A 12 9 1. 21 0.429







105 A 2 2 1. 21 0.095







106 A 3 2 1. 21 0.095







107 A 3 2 1. 21 0.095







108 A 6 5 1. 21 0.238







109 A 5 5 1. 21 0.238







110 A 4 4 1. 21 0.19







111 A 4 4 1. 19 0.21







112 A 5 5 1. 19 0.263







113 A 6 6 1. 21 0.286







114 A 2 2 1. 25 0.08







115 A 3 3 1. 25 0.12







116 A 1 1 1. 25 0.04







117 A 2 2 1. 25 0.08







118 A 7 7 1. 25 0.28







119 A 3 3 1. 25 0.12







120 A 4 4 1. 25 0.16







121 A 2 2 1. 25 0.08







122 A 3 3 1. 25 0.12







123 A 1 1 1. 25 0.04







124 A 3 3 1. 25 0.12







125 A 8 8 1. 25 0.32







126 A 4 3 1. 25 0.12







127 A 2 2 1. 25 0.08







128 A 3 3 1. 25 0.12







129 A 1 1 1. 25 0.04







130 A 2 2 1. 25 0.08







131 A 7 7 1. 25 0.28







132 A 3 3 1. 25 0.12







133 A 8 8 1. 25 0.32







134 A 4 3 1. 25 0.12







135 A 3 3 1. 25 0.12







136 A 1 1 1. 25 0.04







137 A 8 8 1. 25 0.32







138 A 8 8 1. 25 0.32







139 A 5 4 1. 25 0.16







140 A 4 4 1. 25 0.16







141 A 3 3 1. 25 0.12







142 A 3 3 1. 25 0.12







143 A 4 4 1. 25 0.16







144 A 5 4 1. 25 0.16







145 A 2 2 1. 25 0.08







146 A 2 2 1. 25 0.08







147 A 2 2 1. 25 0.08







148 A 2 2 1. 25 0.08







149 A 2 2 1. 25 0.08







150 A 2 2 1. 25 0.08







151 A 2 2 1. 25 0.08







152 A 2 2 1. 25 0.08







153 A 2 2 1. 25 0.08







154 A 2 2 1. 25 0.08







155 A 2 2 1. 25 0.08







156 A 2 2 1. 25 0.08







157 A 2 2 1. 25 0.08







158 A 2 2 1. 25 0.08







159 A 2 2 1. 25 0.08







160 A 2 2 1. 25 0.08







161 A 2 2 1. 19 0.105







162 A 2 2 1. 17 0.118







163 A 2 2 1. 17 0.118







164 A 3 2 1. 19 0.105







165 A 3 2 1. 19 0.105







166 A 2 2 1. 19 0.105







167 A 2 2 1. 19 0.105







168 A 2 2 1. 19 0.105







169 A 2 2 1. 19 0.105







170 A 2 2 1. 23 0.087







171 A 2 2 1. 23 0.087







172 A 2 2 1. 23 0.087







173 A 2 2 1. 23 0.087







174 A 2 2 1. 21 0.095







175 A 2 2 1. 19 0.105







176 A 2 2 1. 19 0.105







177 A 2 2 1. 19 0.105







178 A 3 2 1. 19 0.105







179 A 3 2 1. 19 0.105







180 A 2 2 1. 19 0.105







181 A 2 2 1. 17 0.118







182 A 2 2 1. 17 0.118







183 A 2 2 1. 19 0.105







184 A 2 2 1. 19 0.105







185 A 2 2 1. 23 0.087







186 A 2 2 1. 23 0.087







187 A 2 2 1. 23 0.087







188 A 2 2 1. 23 0.087







189 A 2 2 1. 21 0.095







190 A 3 3 1. 21 0.143







191 A 14 10 1. 21 0.476







192 A 13 10 1. 21 0.476







193 A 13 10 1. 21 0.476







194 A 12 9 1. 19 0.474







195 A 11 8 1. 12 0.667







196 A 13 10 1. 19 0.526







197 A 13 10 1. 21 0.476







198 A 14 10 1. 21 0.476







199 A 14 10 1. 21 0.476







200 A 13 10 1. 21 0.476







201 A 13 10 1. 21 0.476







202 A 12 9 1. 21 0.429







203 A 12 9 1. 19 0.474







204 A 12 9 1. 12 0.75







205 A 13 10 1. 19 0.526







206 A 14 10 1. 21 0.476







207 A 14 10 1. 21 0.476







208 A 13 10 1. 21 0.476







209 A 13 10 1. 19 0.526







210 A 11 8 1. 12 0.667







211 A 12 9 1. 19 0.474







212 A 13 10 1. 21 0.476







213 A 13 10 1. 21 0.476







214 A 14 10 1. 21 0.476







215 A 13 10 1. 19 0.526







216 A 12 9 1. 12 0.75







217 A 12 9 1. 19 0.474







218 A 12 9 1. 21 0.429







219 A 13 10 1. 21 0.476







220 A 13 10 1. 21 0.476







221 A 14 10 1. 21 0.476







222 A 3 3 1. 17 0.176







223 A 3 3 1. 19 0.158







224 A 3 3 1. 19 0.158







225 A 3 3 1. 21 0.143







226 A 3 2 1. 21 0.095







227 A 3 2 1. 21 0.095







228 A 2 2 1. 21 0.095







229 A 11 8 1. 12 0.667







230 A 12 9 1. 21 0.429







231 A 5 4 1. 21 0.19







232 A 4 4 1. 19 0.21







233 A 3 3 1. 19 0.158







234 A 4 4 1. 21 0.19







235 A 5 4 1. 21 0.19







236 A 3 2 1. 21 0.095







237 A 3 2 1. 21 0.095







238 A 2 2 1. 21 0.095







239 A 12 9 1. 12 0.75







240 A 12 9 1. 21 0.429







241 A 6 5 1. 21 0.238







242 A 5 5 1. 21 0.238







243 A 4 4 1. 19 0.21







244 A 4 4 1. 19 0.21







245 A 5 5 1. 21 0.238







246 A 6 5 1. 21 0.238







247 A 3 2 1. 21 0.095







248 A 3 2 1. 21 0.095







249 A 2 2 1. 21 0.095







250 A 12 9 1. 12 0.75







251 A 12 9 1. 21 0.429







252 A 13 10 1. 21 0.476







253 A 5 4 1. 21 0.19







254 A 4 4 1. 21 0.19







255 A 3 3 1. 19 0.158







256 A 4 4 1. 19 0.21







257 A 5 4 1. 21 0.19







258 A 3 2 1. 21 0.095







259 A 3 2 1. 21 0.095







260 A 2 2 1. 21 0.095







261 A 12 9 1. 12 0.75







262 A 13 10 1. 21 0.476







263 A 6 5 1. 21 0.238







264 A 5 5 1. 21 0.238







265 A 4 4 1. 19 0.21







266 A 4 4 1. 19 0.21







267 A 5 5 1. 21 0.238







268 A 6 5 1. 21 0.238







269 A 4 4 1. 19 0.21







270 A 5 4 1. 21 0.19







271 A 2 2 1. 19 0.105







272 A 2 2 1. 19 0.105







273 A 2 2 1. 19 0.105







274 A 2 2 1. 19 0.105







275 A 2 2 1. 19 0.105







276 A 2 2 1. 19 0.105







277 A 2 2 1. 19 0.105







278 A 2 2 1. 19 0.105







279 A 2 2 1. 19 0.105







280 A 2 2 1. 19 0.105







281 A 1 1 1. 21 0.048







282 A 1 1 1. 21 0.048







283 A 1 1 1. 21 0.048







284 A 1 1 1. 21 0.048







285 A 1 1 1. 21 0.048







286 A 1 1 1. 21 0.048







287 A 1 1 1. 21 0.048







288 A 1 1 1. 21 0.048







289 A 1 1 1. 21 0.048







290 A 1 1 1. 21 0.048







291 A 7 7 1. 25 0.28







292 A 4 4 1. 25 0.16







293 A 6 6 1. 25 0.24







294 A 3 3 1. 25 0.12







295 A 1 1 1. 25 0.04







296 A 4 4 1. 25 0.16







297 A 2 2 1. 25 0.08







298 A 5 4 1. 25 0.16







299 A 5 5 1. 25 0.2







300 A 7 7 1. 25 0.28







301 A 4 4 1. 25 0.16







302 A 7 7 1. 25 0.28







303 A 4 4 1. 25 0.16







304 A 1 1 1. 25 0.04







305 A 5 5 1. 25 0.2







306 A 3 3 1. 25 0.12







307 A 8 8 1. 25 0.32







308 A 5 5 1. 25 0.2







309 A 7 7 1. 25 0.28







310 A 4 4 1. 25 0.16







311 A 7 7 1. 25 0.28







312 A 4 4 1. 25 0.16







313 A 1 1 1. 25 0.04







314 A 5 5 1. 25 0.2







315 A 7 7 1. 25 0.28







316 A 4 4 1. 25 0.16







317 A 6 6 1. 25 0.24







318 A 3 3 1. 25 0.12







319 A 1 1 1. 25 0.04







320 A 4 4 1. 25 0.16







321 A 2 2 1. 25 0.08







322 A 7 7 1. 25 0.28







323 A 4 4 1. 25 0.16







324 A 1 1 1. 25 0.04







325 A 4 4 1. 25 0.16







326 A 2 2 0.93 25 0.08







327 A 5 5 1. 25 0.2







328 A 7 7 1. 25 0.28







329 A 4 4 1. 25 0.16







330 A 1 1 1. 25 0.04







331 A 4 4 1. 25 0.16







332 A 2 2 1. 25 0.08







333 A 5 5 1. 25 0.2







334 A 3 3 1. 25 0.12







335 A 1 1 1. 25 0.04







336 A 1 1 1. 25 0.04







337 A 1 1 1. 25 0.04







338 A 1 1 1. 25 0.04







339 A 1 1 1. 25 0.04







340 A 1 1 1. 25 0.04







341 A 1 1 1. 25 0.04







342 A 1 1 1. 25 0.04







343 A 1 1 1. 25 0.04







344 A 1 1 1. 25 0.04







345 A 1 1 1. 25 0.04







346 A 1 1 1. 25 0.04







347 A 1 1 1. 25 0.04







348 A 1 1 1. 25 0.04







349 A 1 1 1. 25 0.04







350 A 1 1 1. 25 0.04







351 A 3 2 1. 19 0.105







352 A 3 2 1. 19 0.105







353 A 2 2 1. 17 0.118







354 A 2 2 1. 17 0.118







355 A 2 2 1. 19 0.105







356 A 2 2 1. 19 0.105







357 A 1 1 1. 19 0.053







358 A 1 1 1. 19 0.053







359 A 1 1 1. 19 0.053







360 A 1 1 1. 19 0.053







361 A 1 1 1. 19 0.053







362 A 1 1 1. 21 0.048







363 A 3 2 1. 19 0.105







364 A 3 2 1. 19 0.105







365 A 2 2 1. 19 0.105







366 A 2 2 1. 10 0.2







367 A 2 2 1. 19 0.105







368 A 2 2 1. 19 0.105







369 A 1 1 1. 19 0.053







370 A 1 1 1. 19 0.053







371 A 1 1 1. 17 0.059







372 A 1 1 1. 17 0.059







373 A 1 1 1. 19 0.053







374 A 2 2 1. 19 0.105







375 A 2 2 1. 17 0.118







376 A 2 2 1. 17 0.118







377 A 3 2 1. 19 0.105







378 A 3 2 1. 19 0.105







379 A 1 1 1. 19 0.053







380 A 1 1 1. 19 0.053







381 A 1 1 1. 19 0.053







382 A 1 1 1. 19 0.053







383 A 3 3 1. 23 0.13







384 A 3 3 1. 23 0.13







385 A 3 3 1. 23 0.13







386 A 3 3 1. 23 0.13







387 A 3 3 1. 21 0.143